Information and Computation